extensionPrefs: Rename to Extensions

... and make the application user-visible.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968

diff --git a/data/gnome-shell-extension-prefs.desktop.in.in b/data/gnome-shell-extension-prefs.desktop.in.in
deleted file mode 100644 (file)
index 6460c70..0000000
--- a/data/gnome-shell-extension-prefs.desktop.in.in
+++ /dev/null
@@ -1,9 +0,0 @@
-[Desktop Entry]
-Type=Application
-Name=Shell Extensions
-Icon=org.gnome.Extensions
-Comment=Configure GNOME Shell Extensions
-Exec=@bindir@/gnome-shell-extension-prefs %u
-Categories=GNOME;GTK;
-OnlyShowIn=GNOME;
-NoDisplay=true

diff --git a/data/meson.build b/data/meson.build
index 1a3ed77c7e5f5e00964e06bc69044cd018604313..87b52ce542e94c833ec2fb8432ed1744721c99dc 100644 (file)
--- a/data/meson.build
+++ b/data/meson.build
@@ -1,6 +1,6 @@
 desktop_files = [
   'org.gnome.Shell.desktop',
-  'gnome-shell-extension-prefs.desktop'
+  'org.gnome.Extensions.desktop',
 ]
 service_files = []
 

diff --git a/data/org.gnome.Extensions.desktop.in.in b/data/org.gnome.Extensions.desktop.in.in
new file mode 100644 (file)
index 0000000..666a194
--- /dev/null
+++ b/data/org.gnome.Extensions.desktop.in.in
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Type=Application
+Name=Extensions
+Icon=org.gnome.Extensions
+Comment=Configure GNOME Shell Extensions
+Exec=@bindir@/gnome-shell-extension-prefs %u
+Categories=GNOME;GTK;
+OnlyShowIn=GNOME;

diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index 4f7499703a9fd73dac62c5a78ab510c3c5a636e7..0803761a1e7f8796ca2df2afbf06c44cb468343c 100644 (file)
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -28,7 +28,7 @@ class Application extends Gtk.Application {
     _init() {
         GLib.set_prgname('gnome-shell-extension-prefs');
         super._init({
-            application_id: 'org.gnome.shell.ExtensionPrefs',
+            application_id: 'org.gnome.Extensions',
             flags: Gio.ApplicationFlags.HANDLES_COMMAND_LINE,
         });
     }
@@ -173,7 +173,7 @@ var ExtensionsWindow = GObject.registerClass({
                 'Didier Roche <didrocks@ubuntu.com>',
             ],
             translator_credits: _('translator-credits'),
-            program_name: _('Shell Extensions'),
+            program_name: _('Extensions'),
             comments: _('Manage your GNOME Extensions'),
             license_type: Gtk.License.GPL_2_0,
             logo_icon_name: 'org.gnome.Extensions',

diff --git a/js/extensionPrefs/ui/extensions-window.ui b/js/extensionPrefs/ui/extensions-window.ui
index 29606c7ab661cded15883e277d8adb86f43ab382..1a5cc14d43b5dc649daff8d22102b19966cace72 100644 (file)
--- a/js/extensionPrefs/ui/extensions-window.ui
+++ b/js/extensionPrefs/ui/extensions-window.ui
@@ -58,7 +58,7 @@
     <child type="titlebar">
       <object class="GtkHeaderBar">
         <property name="visible">True</property>
-        <property name="title" translatable="yes">Shell Extensions</property>
+        <property name="title" translatable="yes">Extensions</property>
         <property name="show_close_button">True</property>
         <child>
           <object class="GtkMenuButton">

diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js
index 22d9e65e9b14a5c7a1a9b5fc4196545ee9d422a2..05b7aca60dbb4e8dcfcffe8378f6de2b5ae90653 100644 (file)
--- a/js/ui/shellDBus.js
+++ b/js/ui/shellDBus.js
@@ -302,7 +302,7 @@ var GnomeShellExtensions = class {
 
     LaunchExtensionPrefs(uuid) {
         let appSys = Shell.AppSystem.get_default();
-        let app = appSys.lookup_app('gnome-shell-extension-prefs.desktop');
+        let app = appSys.lookup_app('org.gnome.Extensions.desktop');
         let info = app.get_app_info();
         let timestamp = global.display.get_current_time_roundtrip();
         info.launch_uris([`extension:///${uuid}`],

diff --git a/po/POTFILES.in b/po/POTFILES.in
index a42d8f010f6153106b482a3d2b435b610118bbf8..fd09971b03ae9a1e1352331c68cdbe0557801faa 100644 (file)
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -1,7 +1,7 @@
 # List of source files containing translatable strings.
 # Please keep this file sorted alphabetically.
 data/50-gnome-shell-system.xml
-data/gnome-shell-extension-prefs.desktop.in.in
+data/org.gnome.Extensions.desktop.in.in
 data/org.gnome.Shell.desktop.in.in
 data/org.gnome.shell.gschema.xml.in
 data/org.gnome.Shell.PortalHelper.desktop.in.in